#ifndef __EKOS_USER_FILE_H__
#define __EKOS_USER_FILE_H__

extern struct ipc_node_t file_ipc;

/* Initialize the shared file structures and file ipc server */
void file_start(void);

typedef uint32_t file_t;

#define FILE_OPEN_ROOT 0
#define FILE_OPEN      1
#define FILE_INFO      2
#define FILE_MAP_IO    3
#define FILE_CLOSE     4

struct file_info_t
{
	 int type;	 
	 /* TODO */
};

/* file_t file_open_root(); */
/* file_t file_open(file_t base, const fchar_t *name); */
/* void file_info(file_t file, struct file_info_t *info); */
/* physaddr_t file_map_io(file_t file, int offset); */
/* void file_close(file_t file); */

#endif
